1

Static analysis of Lyee requirements

Year:
2003
Language:
english
File:
PDF, 485 KB
english, 2003
2

A process algebra to formalize the Lyee methodology

Year:
2004
Language:
english
File:
PDF, 751 KB
english, 2004
3

Toward a new software development environment

Year:
2007
Language:
english
File:
PDF, 1.33 MB
english, 2007
4

Converting an imperative program to a declarative one

Year:
2006
Language:
english
File:
PDF, 191 KB
english, 2006